home *** CD-ROM | disk | FTP | other *** search

---

/ Amiga Tools 2 / Amiga Tools 2.iso / tex / macros / source / packages / amslatex / classes / thmtest.tex / img5.png

< prev

next >

Portable Network Graphic  |  1995-03-15  |  2KB  |  632x31  |  8-bit (18 colors)

Labels: art
OCR: Here is a test of the proof environment.

---